Quadratic equations SAT